Fifth International Workshop on Formal Methods for Parallel Programming : Theory and Applications FMPPTA ’ 2000 5 May 2000

Proceedings of the Fifth International Workshop on Component - Oriented Programming ( WCOP 2000 ) Editors : Jan Bosch

Plug in Components with Behaviour 5. David Mennie and Bernard Pagurek (Carleton University, Canada) An Architecture to Support Dynamic Composition of Service Compo-

June 2000 NASA / CP - 2000 - 210100 Lfm 2000 : Fifth NASA Langley Formal Methods Workshop

Rewriting logic: roadmap and bibliography

Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30–June 3, 1994, Selected Papers, Lecture Notes in Computer Science, Vol. 906, Springer, Berlin, 1995, pp. 351–367. [201] M. Leucker, T. Noll, Rewriting logic as a framework for generic veri9cation tools, in: K. Futatsugi (Ed.), Proc. 3rd Internat. Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanazawa, Jap...

Workshop Version in 13 Th International Workshop on Languages and Compilers for Parallel Computing an Empirical Study of Selective Optimization

This paper describes an empirical study of selective optimization using the Jalape~ no Java virtual machine. The goal of the study is to provide insight into the design and implementation of an adaptive system by investigating the performance potential of selective optimization and identifying the classes of applications for which this performance can be expected. Two types of ooine prooling in...

Specification and Formal Analysis of a PLAN Algorithm in Maude

Rewriting logic can be used as a semantic framework to model next-generation networks and algorithms such as those of active networks with greater flexibility than standard model checking approaches. Using reflection, a wide range of formal analyses can be performed on a given specification by specifying an analysis algorithm as a metalevel theory that executes the specification as an object-le...